decision procedure

decision procedure: Logic.

a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions.

[1940-45]

* * *

decision procedure,

Mathematics, Statistics. a formal method by which any problem expressible in a given formula can be solved in a finite number of steps: »Decision procedures—sometimes called algorithms—are familiar in everyday mathematics. For example, the technique of long division represents a decision procedure for the predicate “x is divisble by y,” where x and y can be any natural numbers (Scientific American).

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

decision procedure — Logic. a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions. [1940 45] * * * … Universalium
decision procedure — See algorithm … Philosophy dictionary
co-decision procedure — co decision (now called ordinary legislative procedure) European Union The co decision procedure was introduced by the Treaty of Maastricht. It gives the European Parliament (EP) the power to adopt instruments jointly with the Council of the… … Law dictionary
Conciliation committee (Third reading): co-decision procedure (now ordinary legislative procedure) — European Union Under the co decision procedure (now named … Law dictionary
political agreement: Co-decision procedure (now ordinary legislative procedure) — European Union Agreement expressed in principle by the Council (in the context of preparing the Council s common position) … Law dictionary
political agreement: Co-decision procedure — (now ordinary legislative procedure) European Union Agreement expressed in principle by the Council (in the context of preparing the Council s common position) following a vote, where appropriate … Law dictionary
common position: co-decision procedure (now ordinary legislative procedure) — European Union When the Council of the European Union does not share the views expressed by European Parliament … Law dictionary
European Parliament First Reading: Co-decision procedure (now ordinary legislative procedure) — European Union The European Parliament delivers an opinion at first reading. This opinion, prepared by a rapporteur discussed a … Law dictionary
common position: co-decision procedure — (now ordinary legislative procedure) European Union When the Council of the European Union does not share the views expressed by European Parliament, it adopts a common position, whic … Law dictionary
European Parliament First Reading: Co-decision procedure — (now ordinary legislative procedure) European Union The European Parliament delivers an opinion at first reading. This opinion, prepared by a rapporteur discussed and amended within the relevant parlia … Law dictionary

Academic Dictionaries and Encyclopedias

decision procedure

Look at other dictionaries:

Share the article and excerpts

Academic Dictionaries and Encyclopedias

Useful english dictionary

decision procedure

Look at other dictionaries:

Share the article and excerpts

Direct link